((v1 v2 5))
15
((v2 v1))